int htoi(char s[]);